<?php

echo $s;

